Formal algorithm

Synonyms for "formal algorithm" (17 found)

Ranked by relevance and common usage.

Closest matches (4)

Adjective(4 words)
abstract procedurealgorithm specificationalgorithmic procedureauditable

Strong matches (5)

Adjective(5 words)
code implementationcomputational methodexecutable versionexecution artifactexplicit

Related words (8)

Adjective(8 words)
formal specificationformally verifiedmethodmethodicalpreciseprocedurerigorousverifiable

Related word relations

OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.

5 relation types

More general

7 entries
algorithmcomputational proceduredescriptorexecution formformal methodimplementation artifactqualifier

More specific

13 entries
Turing machine algorithmbinary search algorithmcompiled formdeterministic algorithmdynamic programming algorithmexecutable programexhaustive search algorithmformally verified algorithmgraph traversal algorithmpolynomial time algorithmprimitive recursive algorithmsorting algorithmtranslated algorithm

Collocations

7 entries
formal algorithm analysisformal algorithm correctnessformal algorithm designformal algorithm implementationformal algorithm specificationformal algorithm verificationformally verified algorithm

Inflections

3 entries
formal algorithmsmore formal algorithmmost formal algorithm

Derivations

5 entries